Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
531	How does flooding happen? Flooding can happen when there is heavy rain and the rivers overflow. Rivers can also overflow when snow melts and the water flows into the river. Beside the sea, flooding can happen when Add to Reading List Source URL: www.floodlinescotland.org.uk Language: English - Date: 2015-08-06 07:12:22 Obfuscation Computer programming Software engineering Index of Abkhazia-related articles Draft:Feminist Net Artists
532	Philipp Haller ! ! http://www.csc.kth.se/~phaller/ Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2016-05-16 07:45:08 Computing Software engineering Computer programming Concurrent programming languages Scala Akka Actor model Martin Odersky European Conference on Object-Oriented Programming Join-pattern Reactive programming Concurrent computing
533	Exploiting heterogeneous parallelism with the Heterogeneous Programming Library Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2014-12-23 06:10:55 Computing Computer architecture Concurrent computing Parallel computing GPGPU OpenCL Linux kernel Kernel Thread Compute kernel CUDA Loadable kernel module
534	Programmatic Semantics for Natural Language Interfaces Hugo Liu MIT Media Laboratory 20 Ames Street 320D, Cambridge, MA USA ABSTRACT Add to Reading List Source URL: web.media.mit.edu Language: English - Date: 2005-09-14 18:06:23 Software engineering Computer programming Computing Programming paradigms Human communication METAFOR Programming language Semantics Procedural programming Object-oriented programming Actor model User interface
535	QuickThread QuickThread is a pending trademark of QuickThread Programming, LLC James G. Dempsey 85 Cove Lane Oshkosh, WI 54902 Add to Reading List Source URL: www.quickthreadprogramming.com Language: English - Date: 2012-05-03 14:20:38 Computing Computer programming Software engineering Parallel computing Thread OpenMP Scheduling C++11 Multithreading Subroutine Lock Multi-core processor
536	Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2016-05-04 09:09:45 Software engineering Computer programming Computing Object-oriented programming Software design patterns Concurrent programming languages Cross-platform software Method Objective-C Invariant Null Object pattern Protocol
537	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:18 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
538	EN1.01 Expansion of geoLEDA Graphical Visualization Tool Richard Liang Joseph Tsay In the study of algorithms, it is very useful to have a system that not only contains a database of problems and their solutions, but als Add to Reading List Source URL: aao.sinica.edu.tw Language: English - Date: 2014-10-02 04:23:39 OMPL Algorithm Computing Computer programming Mathematics
539	Towards a Classification for Programming Exercises Nguyen-Thinh Le and Niels Pinkwart Humboldt Universität zu Berlin Germany {nguyen-thinh.le, niels.pinkwart}@hu-berlin.de Add to Reading List Source URL: cses.informatik.hu-berlin.de Language: English - Date: 2015-12-26 16:04:57 Education Software engineering Educational psychology Programming paradigms Computer programming Educational technology Intelligent tutoring system Exercise Functional programming Programming language Prolog
540	MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-03-13 06:06:51 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming

UPDATE